搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	EC2ND 2005 [electronic resource] : Proceedings of the First European Conference on Computer Network Defence School of Computing, University of Glamorgan, Wales, UK 0 索取号：作者：Blyth、 Andrew.、SpringerLink (Online service)、出版社：London : Springer London, 2006.		Cooler Smarter [electronic resource] : Practical Steps for Low-Carbon Living 0 索取号：作者：Shulman、 Seth.、Deyette、 Jeff.、Ekwurzel、 Brenda.、Friedman、 David.、Mellon、 Margaret.、Rogers、 John.、Shaw、 Suzanne.、SpringerLink (Online service)、出版社：Washington, DC : Island Press/Center for Resource Economics, 2012.
	Stanford University [electronic resource] 0 索取号：作者：Joncas、 Richard.、Neuman、 David J.、Turner、 Paul V.、SpringerLink (Online service)、出版社：New York, NY : Princeton Archit.Press, 2006.		Variational Analysis and Aerospace Engineering: Mathematical Challenges for Aerospace Design [electronic resource] : Contributions from a Workshop held at the School of Mathematics in Erice, Italy 0 索取号：作者：Buttazzo、 Giuseppe.、Frediani、 Aldo.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2012.
	Proceedings of the Paralinguistic Information and its Integration in Spoken Dialogue Systems Workshop [electronic resource] 0 索取号：作者：Delgado、 Ram贸n L贸pez-C贸zar.、Kobayashi、 Tetsunori.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2011.		A Proof Theory for Description Logics [electronic resource] 0 索取号：作者：Rademaker、 Alexandre.、SpringerLink (Online service)、出版社：London : Springer London : Imprint: Springer, 2012.
	Education and Support Programs for Caregivers [electronic resource] : Research, Practice, Policy 0 索取号：作者：Toseland、 Ronald W.、Haigler、 David H.、Monahan、 Deborah J.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2011.		Advances in Network-Embedded Management and Applications [electronic resource] : Proceedings of the First International Workshop on Network-Embedded Management and Applications 0 索取号：作者：Clemm、 Alexander.、Wolter、 Ralf.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2011.
	Group-Centered Prevention Programs for At-Risk Students [electronic resource] 0 索取号：作者：Clanton Harpine、 Elaine.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2011.		Developing and Evaluating Educational Programs for Students with Autism [electronic resource] 0 索取号：作者：Magyar、 Caroline I.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2011.
	Advanced Public Procurement as Industrial Policy [electronic resource] : The Aircraft Industry as a Technical University 0 索取号：作者：Eliasson、 Gunnar.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2010.		The Internet of Things [electronic resource] : 20th Tyrrhenian Workshop on Digital Communications 0 索取号：作者：Giusto、 Daniel.、Iera、 Antonio.、Morabito、 Giacomo.、Atzori、 Luigi.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2010.
	Emerging Space Powers [electronic resource] : The New Space Programs of Asia, the Middle East, and South America 0 索取号：作者：Harvey、 Brian.、Smid、 Henk H. F.、Pirard、 Th茅o.、SpringerLink (Online service)、出版社：New York, NY : Praxis, 2010.		Enhancing Cognitive Fitness in Adults [electronic resource] : A Guide to the Use and Development of Community-Based Programs 0 索取号：作者：Hartman-Stein、 Paula E.、LaRue、 Asenath.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2011.
	The First Humans-Origin and Early Evolution of the Genus Homo [electronic resource] : Contributions from the Third Stony Brook Human Evolution Symposium and Workshop October 3 鈥ϣtober 7, 2006 0 索取号：作者：Grine、 Frederick E.、Fleagle、 John G.、Leakey、 Richard E.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2009.		University Governance [electronic resource] : Western European Comparative Perspectives 0 索取号：作者：Paradeise、 Catherine.、Reale、 Emanuela.、Bleiklie、 Ivar.、Ferlie、 Ewan.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2009.

	EC2ND 2005 [electronic resource] : Proceedings of the First European Conference on Computer Network Defence School of Computing, University of Glamorgan, Wales, UK 0 索取号：作者：Blyth、 Andrew.、SpringerLink (Online service)、出版社：London : Springer London, 2006.		Cooler Smarter [electronic resource] : Practical Steps for Low-Carbon Living 0 索取号：作者：Shulman、 Seth.、Deyette、 Jeff.、Ekwurzel、 Brenda.、Friedman、 David.、Mellon、 Margaret.、Rogers、 John.、Shaw、 Suzanne.、SpringerLink (Online service)、出版社：Washington, DC : Island Press/Center for Resource Economics, 2012.
	Stanford University [electronic resource] 0 索取号：作者：Joncas、 Richard.、Neuman、 David J.、Turner、 Paul V.、SpringerLink (Online service)、出版社：New York, NY : Princeton Archit.Press, 2006.		Variational Analysis and Aerospace Engineering: Mathematical Challenges for Aerospace Design [electronic resource] : Contributions from a Workshop held at the School of Mathematics in Erice, Italy 0 索取号：作者：Buttazzo、 Giuseppe.、Frediani、 Aldo.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2012.
	Proceedings of the Paralinguistic Information and its Integration in Spoken Dialogue Systems Workshop [electronic resource] 0 索取号：作者：Delgado、 Ram贸n L贸pez-C贸zar.、Kobayashi、 Tetsunori.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2011.		A Proof Theory for Description Logics [electronic resource] 0 索取号：作者：Rademaker、 Alexandre.、SpringerLink (Online service)、出版社：London : Springer London : Imprint: Springer, 2012.
	Education and Support Programs for Caregivers [electronic resource] : Research, Practice, Policy 0 索取号：作者：Toseland、 Ronald W.、Haigler、 David H.、Monahan、 Deborah J.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2011.		Advances in Network-Embedded Management and Applications [electronic resource] : Proceedings of the First International Workshop on Network-Embedded Management and Applications 0 索取号：作者：Clemm、 Alexander.、Wolter、 Ralf.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2011.
	Group-Centered Prevention Programs for At-Risk Students [electronic resource] 0 索取号：作者：Clanton Harpine、 Elaine.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2011.		Developing and Evaluating Educational Programs for Students with Autism [electronic resource] 0 索取号：作者：Magyar、 Caroline I.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2011.
	Advanced Public Procurement as Industrial Policy [electronic resource] : The Aircraft Industry as a Technical University 0 索取号：作者：Eliasson、 Gunnar.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2010.		The Internet of Things [electronic resource] : 20th Tyrrhenian Workshop on Digital Communications 0 索取号：作者：Giusto、 Daniel.、Iera、 Antonio.、Morabito、 Giacomo.、Atzori、 Luigi.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2010.
	Emerging Space Powers [electronic resource] : The New Space Programs of Asia, the Middle East, and South America 0 索取号：作者：Harvey、 Brian.、Smid、 Henk H. F.、Pirard、 Th茅o.、SpringerLink (Online service)、出版社：New York, NY : Praxis, 2010.		Enhancing Cognitive Fitness in Adults [electronic resource] : A Guide to the Use and Development of Community-Based Programs 0 索取号：作者：Hartman-Stein、 Paula E.、LaRue、 Asenath.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2011.
	The First Humans-Origin and Early Evolution of the Genus Homo [electronic resource] : Contributions from the Third Stony Brook Human Evolution Symposium and Workshop October 3 鈥ϣtober 7, 2006 0 索取号：作者：Grine、 Frederick E.、Fleagle、 John G.、Leakey、 Richard E.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2009.		University Governance [electronic resource] : Western European Comparative Perspectives 0 索取号：作者：Paradeise、 Catherine.、Reale、 Emanuela.、Bleiklie、 Ivar.、Ferlie、 Ewan.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2009.